The Total Order Assumption
نویسنده
چکیده
The total order assumption (TOA) is the assumption that all execution sequences of observable actions or events are totally ordered by precedence. As long as in some cases TOA is to the point, total order and partial order semantics are both legitimate but lead to different theories. I argue that TOA is a simplifying assumption, and present an example of a total order theory without interleaving, and a partial order theory with interleaving.
منابع مشابه
Approximate Solution of Sensitivity Matrix of Required Velocity Using Piecewise Linear Gravity Assumption
In this paper, an approximate solution of sensitivity matrix of required velocity with final velocity constraint is derived using a piecewise linear gravity assumption. The total flight time is also fixed for the problem. Simulation results show the accuracy of the method. Increasing the midway points for linearization, increases the accuracy of the solution, which this, in turn, depends on the...
متن کاملImplicational Scaling of Reading Comprehension Construct: Is it Deterministic or Probabilistic?
In English as a Second Language Teaching and Testing situations, it is common to infer about learners’ reading ability based on his or her total score on a reading test. This assumes the unidimensional and reproducible nature of reading items. However, few researches have been conducted to probe the issue through psychometric analyses. In the present study, the IELTS exemplar module C (1994) wa...
متن کاملFree Vibration and Transient Response of Heterogeneous Piezoelectric Sandwich Annular Plate Using Third-Order Shear Deformation Assumption
Based on the third-order shear deformation theory (TSDT), this paper numerically investigates the natural frequencies and time response of three-layered annular plate with functionally graded materials (FGMs) sheet core and piezoelectric face sheets, under initial external electric voltage. The impressive material specifications of FGM core are assumed to vary continuously across the plate thic...
متن کاملA New Bootstrap Based Algorithm for Hotelling’s T2 Multivariate Control Chart
Normality is a common assumption for many quality control charts. One should expect misleading results once this assumption is violated. In order to avoid this pitfall, we need to evaluate this assumption prior to the use of control charts which require normality assumption. However, in certain cases either this assumption is overlooked or it is hard to check. Robust control charts and bootstra...
متن کاملOptimal lot size of EPQ model considering imperfect and defective products
The economic production quantity (EPQ) is a commonly used inventory model. An assumption in the EPQ model is that all units produced are perfect. Some researchers have studied the effects after relaxing this assumption on the inventory models. The objective of this paper is to determine the economic production quantity with reduced pricing, rework and reject situations in a single-stage system ...
متن کامل